考虑风速时空分布及风机运行状态的风电场功率计算方法

大规模风电并网背景下,准确计算风电场输出功率对调度控制和电网安全运行至关重要。以区域内测风塔观测的分钟到小时级平均风速和风向为输入,研究风机地理分布以及风机启停对尾流模型的影响,计及风速在空间分布的时延效应,建立了考虑风速时空分布特性的等效风速模型。在此基础上,进一步考虑风机的机械特性及运行状态,提出了风电场功率计算方法。以某实际风电场地理数据和风机参数为基础的仿真算例验证了所提方法的可行性和合理性。     

Theoretical study of the DC and transient characteristics of a lateral Schottky barrier photodiode for application as high‐speed photodetector

We present a numerical characterization of a high‐speed high‐responsivity GaAs lateral Schottky barrier photodiode (LSBPD). The LSBPD is a planar structure composed of interdigitated Schottky barrier and ohmic contacts. A metal–semiconductor–metal (MSM) structure with identical geometry is simulated for comparison. The dark characteristics are found identical for the two devices. Under illumination, the LSBPD exhibited significantly superior responsivity compared with the MSM, while maintaining comparatively similar response time and 3 dB bandwidths. The results of the study indicate conclusively that the lateral Schottky barrier photodiode can provide an excellent alternative to the standard MSM photodetectors for high‐speed optoelectronic applications. Copyright © 2015 John Wiley & Sons, Ltd.     

相位波带片型时间透镜研究

基于Opti-System软件,对相位波带片型时间透镜进行了深入研究。明确了中心波长对相位波带片型时间透镜焦距色散补偿量的影响机理,建立了中心波长、色散补偿量与输出光脉冲消光比及脉冲宽度间的关系。研究结果表明,相位波带片型时间透镜的焦距色散补偿量,在1 310~1 550 nm波长范围与光信号中心波长呈近似线性关系。通过线性拟合,得出焦距色散补偿量与中心波长的线性关系公式。对于不同波长的输入光波,可通过公式确定最佳焦距色散补偿量,实现最窄脉宽和最优消光比的光脉冲输出。研究结果可为优化相位波带片型时间透镜设计提供理论指导,进而拓宽相位波带片型时间透镜的应用范围。     

基于差分时间平滑的多径信号DOA估计

针对移动通信环境中,多径信号与独立信号共存的混合信号模型DOA估计问题,依据差分方法与时间平滑原理,提出一种改进的DOA算法。该算法增加了可分辨信源个数,同时提高了相干信源DOA估计的性能,仿真实验证明,该算法在混合信号模型下解相干性能优于传统空间平滑法。     

基于产品供电接口时序逻辑的设备检测装置

目前传统的测试设备自检单元仅对各路激励信号和采集通道进行检查,而无法检测到工作时序逻辑,一旦测试设备时序出现异常将对产品测试安全性造成影响。为此,文中提出了一种基于时序逻辑的测试设备检测装置设计方法,介绍了检测装置的软硬件开发以及工作流程和主要功能,实际应用结果分析表明,该检测装置大幅提高了对测试设备的检测深度,在设备早期故障剔除和产品测试安全性方面均有较大的改进。     

A simplification of a real‐time verification problem

We revisit the problem of real‐time verification with dense‐time dynamics using timeout and calendar‐based models and simplify this to a finite state verification problem. We introduce a specification formalism for these models and capture their behaviour in terms of semantics of timed transition systems. We discuss a technique, which reduces the problem of verification of qualitative temporal properties on infinite state space of a large fragment of these timeout and calender‐based transition systems into that on clock‐less finite state models through a two‐step process comprising of digitization and finitary reduction. This technique enables us to verify safety invariants for real‐time systems using finite state model checking avoiding the complexity of infinite state (bounded) model checking and scale up models without applying techniques from induction‐based proof methodology. In the same manner, we verify timeliness properties. Moreover, we can verify liveness for real‐time systems, which are not possible by using induction with infinite state model checkers. Copyright © 2016 John Wiley & Sons, Ltd.     

Extended vertical lists for temporal pattern mining from multivariate time series

In this paper, the problem of mining complex temporal patterns in the context of multivariate time series is considered. A new method called the Fast Temporal Pattern Mining with Extended Vertical Lists is introduced. The method is based on an extension of the level‐wise property, which requires a more complex pattern to start at positions within a record where all of the subpatterns of the pattern start. The approach is built around a novel data structure called the Extended Vertical List that tracks positions of the first state of the pattern inside records and links them to appropriate positions of a specific subpattern of the pattern called the prefix. Extensive computational results indicate that the new method performs significantly faster than the previous version of the algorithm for Temporal Pattern Mining; however, the increase in speed comes at the expense of increased memory usage.     

Depth video spatial and temporal correlation enhancement algorithm based on just noticeable rendering distortion model

Spatial and temporal inconsistency of depth video deteriorates encoding efficiency in three dimensional video systems. A depth video processing algorithm based on human perception is presented. Firstly, a just noticeable rendering distortion (JNRD) model is formulated by combining the analyses of the influence of depth distortion on virtual view rendering with human visual perception characteristics. Then, depth video is processed based on the JNRD model from two aspects, spatial and temporal correlation enhancement. During the process of spatial correlation enhancement, depth video is segmented into edge, foreground, and background regions, and smoothened by Gaussian and mean filters. The operations of the temporal correlation enhancement include temporal–spatial transpose (TST), temporal smoothing filter and inverse TST. Finally, encoding and virtual view rendering experiments are conducted to evaluate the proposed algorithm. Experimental results show that the proposed algorithm can greatly reduce the bit rate while it maintains the quality of virtual view.     

黄土高原典型流域网格化逐时降水融合产品CMPA V1.0的精度分析

选取黄土高原无定河、窟野河和皇甫川流域为研究区,从水文应用角度评估了中国自动站与CMORPH融合的逐时降水产品(CMPA V1.0)的精度。结果表明,CMPA V1.0降雨数据总体上较雨量站实测值偏低;与6、9月相比,8月降水产品精度较低。随降水量级的增加,CMPA V1.0对降水事件发生频次的监测能力和对降水事件监测的稳定性有所降低,误报率整体升高;CMPA V1.0低估了小雨的发生频率及降水贡献率,高估了雨强大于2.5mm/h降雨的发生频率及降水贡献率;CMPA V1.0能合理地反映研究区降水的日变化过程,但低估了研究区的时段平均降水量和时段平均降水频率,高估了研究区14:00前的时段平均降水强度。